es{-}msgs(${\it the\_es}$; $l$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$e$.es{-}msg(${\it the\_es}$; $e$);es{-}rcvs(${\it the\_es}$; $l$; ${\it e'}$))